20 Y M M S
نویسندگان
چکیده
Twenty years ago, modal and mixed specifications were proposed as abstract models of system behavior. In this paper, we explain the nature and utility of such specifications, relate them to other formalisms, showcase some of their established applications, and mention some existing tool support. We also present some recent complexity results for decision problems underlying such applications and list some remaining open problems.
منابع مشابه
Amitraz Poisoning; A case study
A m i t r a z, a n i ns e c t i c i d e /a ca ri c i de of the f o r m a m i d i n e p e st i c i d e s group, is a ? 2 a d r e n e r g i c ag on i st a nd of t he a m i d i ne c h e m i ca l f a m il y generally us e d to c o n t r ol animal e c top a r a s i t e s. Poisoning due to am i t r a z i s r a r e and character...
متن کاملA note on convergence in fuzzy metric spaces
The sequential $p$-convergence in a fuzzy metric space, in the sense of George and Veeramani, was introduced by D. Mihet as a weaker concept than convergence. Here we introduce a stronger concept called $s$-convergence, and we characterize those fuzzy metric spaces in which convergent sequences are $s$-convergent. In such a case $M$ is called an $s$-fuzzy metric. If $(N_M,ast)$ is a fuzzy metri...
متن کاملScalar Product Graphs of Modules
Let R be a commutative ring with identity and M an R-module. The Scalar-Product Graph of M is defined as the graph GR(M) with the vertex set M and two distinct vertices x and y are adjacent if and only if there exist r or s belong to R such that x = ry or y = sx. In this paper , we discuss connectivity and planarity of these graphs and computing diameter and girth of GR(M). Also we show some of...
متن کاملWeak Banach-Saks property in the space of compact operators
For suitable Banach spaces $X$ and $Y$ with Schauder decompositions and a suitable closed subspace $mathcal{M}$ of some compact operator space from $X$ to $Y$, it is shown that the strong Banach-Saks-ness of all evaluation operators on ${mathcal M}$ is a sufficient condition for the weak Banach-Saks property of ${mathcal M}$, where for each $xin X$ and $y^*in Y^*$, the evaluation op...
متن کاملPhotocatalytic process using magnesium oxide nanoparticles for amoxicillin removal from aqueous solution
Background & Aim: Excessive consumption of antibiotics and their incomplete metabolization in human and animals, as well as inadequate removal by conventional waste water system leads to the release of these chemicals into the environment. Antibiotics have adverse effects including bacterial resistance, digestive disorders and genotoxic. Therefore the aim of this study was to survey amoxicillin...
متن کاملRANDOM FUZZY SETS: A MATHEMATICAL TOOL TO DEVELOP STATISTICAL FUZZY DATA ANALYSIS
Data obtained in association with many real-life random experiments from different fields cannot be perfectly/exactly quantified.hspace{.1cm}Often the underlying imprecision can be suitably described in terms of fuzzy numbers/\values. For these random experiments, the scale of fuzzy numbers/values enables to capture more variability and subjectivity than that of categorical data, and more accur...
متن کامل